#pragma warning disable 108
using System;
using System.Runtime.InteropServices;
using System.Collections.Generic;
using Cephei;
using Cephei.Core;
using Cephei.Core.Generic;
using Microsoft.FSharp.Core;
using Cephei.QL.Times;
namespace Cephei.QL.Times.Calendars
{
    /// <summary> 
	/// ! Public holidays:
	/// <ul>
	/// <li>Saturdays</li>
	/// <li>Sundays</li>
	/// <li>New Year's Day, January 1st</li>
	/// <li>Independence Day, March 1st</li>
	/// <li>Arbour Day, April 5th (until 2005)</li>
	/// <li>Labour Day, May 1st</li>
	/// <li>Children's Day, May 5th</li>
	/// <li>Memorial Day, June 6th</li>
	/// <li>Constitution Day, July 17th (until 2007)</li>
	/// <li>Liberation Day, August 15th</li>
	/// <li>National Fondation Day, October 3th</li>
	/// <li>Christmas Day, December 25th</li>
	/// </ul>  Other holidays for which no rule is given (data available for 2004-2012 only:)
	/// <ul>
	/// <li>Lunar New Year, the last day of the previous lunar year, January 1st, 2nd in lunar calendar</li>
	/// <li>Election Days</li>
	/// <li>National Assemblies</li>
	/// <li>Presidency</li>
	/// <li>Regional Election Days</li>
	/// <li>Buddha's birthday, April 8th in lunar calendar</li>
	/// <li>Harvest Moon Day, August 14th, 15th, 16th in lunar calendar</li>
	/// </ul>  Holidays for the Korea exchange (data from
	/// <http://eng.krx.co.kr/m8/m8_6/m8_6_1/JHPENG08006_01.jsp> or
	/// <http://www.dooriworld.com/daishin/holiday/holiday.html>):
	/// <ul>
	/// <li>Public holidays as listed above</li>
	/// <li>Year-end closing</li>
	/// </ul>  \ingroup calendars
	/// </summary>
    [Guid ("760E72DC-B600-47fc-9489-A1D4908D4D06"),ComVisible(true)]
	public interface ISouthKorea : Cephei.QL.Times.ICalendar
	{
		///////////////////////////////////////////////////////////////
        // Methods
        //
    }   

    /// <summary> 
	/// ! Public holidays:
	/// <ul>
	/// <li>Saturdays</li>
	/// <li>Sundays</li>
	/// <li>New Year's Day, January 1st</li>
	/// <li>Independence Day, March 1st</li>
	/// <li>Arbour Day, April 5th (until 2005)</li>
	/// <li>Labour Day, May 1st</li>
	/// <li>Children's Day, May 5th</li>
	/// <li>Memorial Day, June 6th</li>
	/// <li>Constitution Day, July 17th (until 2007)</li>
	/// <li>Liberation Day, August 15th</li>
	/// <li>National Fondation Day, October 3th</li>
	/// <li>Christmas Day, December 25th</li>
	/// </ul>  Other holidays for which no rule is given (data available for 2004-2012 only:)
	/// <ul>
	/// <li>Lunar New Year, the last day of the previous lunar year, January 1st, 2nd in lunar calendar</li>
	/// <li>Election Days</li>
	/// <li>National Assemblies</li>
	/// <li>Presidency</li>
	/// <li>Regional Election Days</li>
	/// <li>Buddha's birthday, April 8th in lunar calendar</li>
	/// <li>Harvest Moon Day, August 14th, 15th, 16th in lunar calendar</li>
	/// </ul>  Holidays for the Korea exchange (data from
	/// <http://eng.krx.co.kr/m8/m8_6/m8_6_1/JHPENG08006_01.jsp> or
	/// <http://www.dooriworld.com/daishin/holiday/holiday.html>):
	/// <ul>
	/// <li>Public holidays as listed above</li>
	/// <li>Year-end closing</li>
	/// </ul>  \ingroup calendars Factory
	/// </summary>
   	[ComVisible(true)]
    public interface ISouthKorea_Factory 
    {
        ///////////////////////////////////////////////////////////////
        // Factory methods
        //
        /// <summary> 
		/// 
		/// </summary>
	    ISouthKorea Create (Microsoft.FSharp.Core.FSharpOption<QL.Times.Calendars.SouthKorea.MarketEnum> m);
    }
}

